Xenbus implementation ported from Linux to Mini-os, simple thread support introduced
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Fri, 9 Sep 2005 09:24:25 +0000 (09:24 +0000)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Fri, 9 Sep 2005 09:24:25 +0000 (09:24 +0000)
commitcdb8b09f6b67b270b1c21f1a7f42d5e8a604caa8
tree414d05b171df34e0125f29731a8ba12e280297d9
parentc125eb9c047b908b2bb18e5cf4a88355a1526a25
Xenbus implementation ported from Linux to Mini-os, simple thread support introduced
to simplify the porting. 64 bit version of Mini-os now compiles, but does not work
because of the pagetables and some bits of scheduler not being written.

Signed-off-by: Grzegorz Milos <gm281@cam.ac.uk>
30 files changed:
extras/mini-os/Makefile
extras/mini-os/events.c
extras/mini-os/include/ctype.h [new file with mode: 0644]
extras/mini-os/include/err.h [new file with mode: 0644]
extras/mini-os/include/errno-base.h [new file with mode: 0644]
extras/mini-os/include/errno.h [new file with mode: 0644]
extras/mini-os/include/events.h
extras/mini-os/include/fcntl.h [new file with mode: 0644]
extras/mini-os/include/hypervisor.h
extras/mini-os/include/lib.h
extras/mini-os/include/mm.h
extras/mini-os/include/os.h
extras/mini-os/include/sched.h [new file with mode: 0644]
extras/mini-os/include/semaphore.h [new file with mode: 0644]
extras/mini-os/include/time.h
extras/mini-os/include/traps.h
extras/mini-os/include/types.h
extras/mini-os/include/wait.h [new file with mode: 0644]
extras/mini-os/include/xenbus.h [new file with mode: 0644]
extras/mini-os/kernel.c
extras/mini-os/lib/printf.c
extras/mini-os/lib/string.c
extras/mini-os/mm.c
extras/mini-os/sched.c [new file with mode: 0644]
extras/mini-os/time.c
extras/mini-os/traps.c
extras/mini-os/xenbus/Makefile [new file with mode: 0644]
extras/mini-os/xenbus/xenbus_comms.c [new file with mode: 0644]
extras/mini-os/xenbus/xenbus_comms.h [new file with mode: 0644]
extras/mini-os/xenbus/xenbus_xs.c [new file with mode: 0644]